ePMC - csma time

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 1528 1528
build-model-states-explored 3306 1778
build-model-states-explored 5119 1813
build-model-states-explored 6994 1875
build-model-states-explored 8902 1908
build-model-states-explored 10818 1916
build-model-states-explored 12729 1911
build-model-states-explored 14656 1927
build-model-states-explored 16581 1925
build-model-states-explored 18482 1901
build-model-states-explored 20386 1904
build-model-states-explored 22305 1919
build-model-states-explored 24218 1913
build-model-states-explored 26139 1921
build-model-states-explored 28011 1872
build-model-states-explored 29904 1893
build-model-states-explored 31828 1924
build-model-states-explored 33750 1922
build-model-states-explored 35676 1926
build-model-states-explored 37574 1898
build-model-states-explored 39490 1916
build-model-states-explored 41406 1916
build-model-states-explored 43322 1916
build-model-states-explored 45225 1903
build-model-states-explored 47140 1915
build-model-states-explored 49058 1918
build-model-states-explored 50978 1920
build-model-states-explored 52886 1908
build-model-states-explored 54732 1846
build-model-states-explored 56642 1910
build-model-states-explored 58559 1917
build-model-states-explored 60481 1922
build-model-states-explored 62406 1925
build-model-states-explored 64318 1912
build-model-states-explored 66242 1924
build-model-states-explored 68161 1919
build-model-states-explored 70079 1918
build-model-states-explored 71985 1906
build-model-states-explored 74023 2038
build-model-states-explored 76229 2206
build-model-states-explored 78437 2208
build-model-states-explored 80642 2205
build-model-states-explored 82855 2213
build-model-states-explored 85060 2205
build-model-states-explored 87259 2199
build-model-states-explored 89463 2204
build-model-states-explored 91606 2143
build-model-states-explored 93776 2170
build-model-states-explored 95977 2201
build-model-states-explored 98187 2210
build-model-states-explored 100392 2205
build-model-states-explored 102593 2201
build-model-states-explored 104789 2196
build-model-states-explored 106994 2205
build-model-states-explored 109159 2165
build-model-states-explored 111317 2158
build-model-states-explored 113389 2072
build-model-states-explored 115588 2199
build-model-states-explored 117794 2206
build-model-states-explored 120001 2207
build-model-states-explored 122207 2206
build-model-states-explored 124421 2214
build-model-states-explored 126626 2205
build-model-states-explored 128775 2149
build-model-states-explored 130937 2162
build-model-states-explored 133121 2184
build-model-states-explored 135329 2208
build-model-states-explored 137535 2206
build-model-states-explored 139734 2199
build-model-states-explored 141945 2211
build-model-states-explored 144148 2203
build-model-states-explored 146347 2199
build-model-states-explored 148526 2179
build-model-states-explored 150733 2207
build-model-states-explored 152905 2172
build-model-states-explored 155107 2202
build-model-states-explored 157307 2200
build-model-states-explored 159508 2201
build-model-states-explored 161705 2197
build-model-states-explored 163858 2153
build-model-states-explored 166055 2197
build-model-states-explored 168254 2199
build-model-states-explored 170454 2200
build-model-states-explored 172662 2208
build-model-states-explored 174863 2201
build-model-states-explored 177074 2211
build-model-states-explored 179275 2201
build-model-states-explored 181471 2196
build-model-states-explored 183678 2207
build-model-states-explored 185878 2200
build-model-states-explored 188027 2149
build-model-states-explored 190235 2208
build-model-states-explored 192444 2209
build-model-states-explored 194647 2203
build-model-states-explored 196849 2202
build-model-states-explored 199043 2194
build-model-states-explored 201250 2207
build-model-states-explored 203446 2196
build-model-states-explored 205650 2204
build-model-states-explored 207861 2211
build-model-states-explored 210052 2191
build-model-states-explored 212267 2215
build-model-states-explored 214508 2241
build-model-states-explored 216742 2234
build-model-states-explored 218975 2233
build-model-states-explored 221219 2244
build-model-states-explored 223457 2238
build-model-states-explored 225705 2248
build-model-states-explored 227945 2240
build-model-states-explored 230107 2162
build-model-states-explored 232235 2128
build-model-states-explored 234477 2242
build-model-states-explored 236433 1956
build-model-states-explored 238677 2244
build-model-states-explored 240913 2236
build-model-states-explored 243150 2237
build-model-states-explored 245390 2240
build-model-states-explored 247623 2233
build-model-states-explored 249869 2246
build-model-states-explored 252112 2243
build-model-states-explored 254353 2241
build-model-states-explored 256598 2245
build-model-states-explored 258836 2238
build-model-states-explored 261082 2246
build-model-states-explored 263317 2235
build-model-states-explored 265546 2229
build-model-states-explored 267779 2233
build-model-states-explored 270016 2237
build-model-states-explored 272258 2242
build-model-states-explored 274498 2240
build-model-states-explored 276732 2234
build-model-states-explored 278928 2196
build-model-states-explored 281172 2244
build-model-states-explored 283415 2243
build-model-states-explored 285659 2244
build-model-states-explored 287896 2237
build-model-states-explored 290125 2229
build-model-states-explored 292362 2237
build-model-states-explored 294592 2230
build-model-states-explored 296749 2157
build-model-states-explored 298881 2132
build-model-states-explored 301117 2236
build-model-states-explored 303358 2241
build-model-states-explored 305601 2243
build-model-states-explored 307840 2239
build-model-states-explored 310084 2244
build-model-states-explored 312322 2238
build-model-states-explored 314556 2234
build-model-states-explored 316794 2237
build-model-states-explored 319038 2245
build-model-states-explored 321274 2236
build-model-states-explored 323516 2242
build-model-states-explored 325753 2237
build-model-states-explored 327987 2234
build-model-states-explored 330210 2223
build-model-states-explored 332439 2229
build-model-states-explored 334672 2233
build-model-states-explored 336899 2227
build-model-states-explored 339145 2246
build-model-states-explored 341387 2242
build-model-states-explored 343630 2243
build-model-states-explored 345864 2234
build-model-states-explored 348097 2233
build-model-states-explored 350329 2232
build-model-states-explored 352538 2209
build-model-states-explored 354788 2250
build-model-states-explored 357034 2246
build-model-states-explored 359282 2248
build-model-states-explored 361537 2255
build-model-states-explored 363708 2171
build-model-states-explored 365950 2242
build-model-states-explored 368193 2243
build-model-states-explored 370443 2250
build-model-states-explored 372697 2254
build-model-states-explored 374944 2247
build-model-states-explored 377200 2256
build-model-states-explored 379451 2251
build-model-states-explored 381698 2247
build-model-states-explored 383956 2258
build-model-states-explored 386144 2188
build-model-states-explored 388390 2246
build-model-states-explored 390646 2256
build-model-states-explored 392898 2252
build-model-states-explored 395151 2253
build-model-states-explored 397413 2262
build-model-states-explored 399660 2247
build-model-states-explored 401923 2263
build-model-states-explored 404185 2262
build-model-states-explored 406441 2256
build-model-states-explored 408664 2223
build-model-states-explored 410920 2256
build-model-states-explored 413174 2254
build-model-states-explored 415431 2257
build-model-states-explored 417695 2264
build-model-states-explored 419938 2243
build-model-states-explored 422182 2244
build-model-states-explored 424429 2247
build-model-states-explored 426677 2248
build-model-states-explored 428942 2265
build-model-states-explored 431098 2156
build-model-states-explored 433246 2148
build-model-states-explored 435486 2240
build-model-states-explored 437757 2271
build-model-states-explored 440013 2256
build-model-states-explored 442262 2249
build-model-states-explored 444509 2247
build-model-states-explored 446766 2257
build-model-states-explored 449012 2246
build-model-states-explored 451259 2247
build-model-states-explored 453511 2252
build-model-states-explored 455770 2259
build-model-states-explored 458027 2257
build-model-states-explored 460274 2247
build-model-states-explored 462523 2249
build-model-states-explored 464773 2250
build-model-states-explored 467039 2266
build-model-states-explored 469281 2242
build-model-states-explored 471530 2249
build-model-states-explored 473791 2261
build-model-states-explored 475486 1695
build-model-states-explored 477754 2268
build-model-states-explored 480005 2251
build-model-states-explored 482255 2250
build-model-states-explored 484514 2259
build-model-states-explored 486782 2268
build-model-states-explored 489031 2249
build-model-states-explored 491284 2253
build-model-states-explored 493532 2248
build-model-states-explored 495823 2291
build-model-states-explored 498087 2264
build-model-states-explored 500360 2273
build-model-states-explored 502637 2277
build-model-states-explored 504931 2294
build-model-states-explored 507211 2280
build-model-states-explored 509482 2271
build-model-states-explored 511765 2283
build-model-states-explored 514062 2297
build-model-states-explored 516335 2273
build-model-states-explored 518611 2276
build-model-states-explored 520889 2278
build-model-states-explored 523172 2283
build-model-states-explored 525446 2274
build-model-states-explored 527726 2280
build-model-states-explored 529993 2267
build-model-states-explored 532281 2288
build-model-states-explored 534557 2276
build-model-states-explored 536839 2282
build-model-states-explored 539113 2274
build-model-states-explored 541383 2270
build-model-states-explored 543662 2279
build-model-states-explored 545950 2288
build-model-states-explored 548230 2280
build-model-states-explored 550517 2287
build-model-states-explored 552801 2284
build-model-states-explored 555079 2278
build-model-states-explored 557358 2279
build-model-states-explored 559650 2292
build-model-states-explored 561917 2267
build-model-states-explored 564194 2277
build-model-states-explored 566482 2288
build-model-states-explored 568750 2268
build-model-states-explored 570979 2229
build-model-states-explored 573262 2283
build-model-states-explored 575529 2267
build-model-states-explored 577807 2278
build-model-states-explored 580087 2280
build-model-states-explored 582379 2292
build-model-states-explored 584663 2284
build-model-states-explored 586945 2282
build-model-states-explored 589230 2285
build-model-states-explored 591516 2286
build-model-states-explored 593801 2285
build-model-states-explored 596085 2284
build-model-states-explored 598364 2279
build-model-states-explored 600651 2287
build-model-states-explored 602932 2281
build-model-states-explored 605223 2291
build-model-states-explored 607502 2279
build-model-states-explored 609790 2288
build-model-states-explored 612078 2288
build-model-states-explored 614366 2288
build-model-states-explored 616658 2292
build-model-states-explored 618939 2281
build-model-states-explored 621228 2289
build-model-states-explored 623513 2285
build-model-states-explored 625793 2280
build-model-states-explored 628073 2280
build-model-states-explored 630355 2282
build-model-states-explored 632641 2286
build-model-states-explored 634918 2277
build-model-states-explored 637201 2283
build-model-states-explored 639482 2281
build-model-states-explored 641768 2286
build-model-states-explored 644051 2283
build-model-states-explored 646333 2282
build-model-states-explored 648626 2293
build-model-states-explored 650906 2280
build-model-states-explored 653196 2290
build-model-states-explored 655487 2291
build-model-states-explored 657798 2311
build-model-states-explored 660103 2305
build-model-states-explored 662327 2224
build-model-states-explored 664547 2220
build-model-states-explored 666768 2221
build-model-states-explored 668990 2222
build-model-states-explored 671209 2219
build-model-states-explored 673440 2231
build-model-states-explored 675666 2226
build-model-states-explored 677890 2224
build-model-states-explored 680103 2213
build-model-states-explored 682333 2230
build-model-states-explored 684557 2224
build-model-states-explored 686789 2232
build-model-states-explored 689016 2227
build-model-states-explored 691238 2222
build-model-states-explored 693454 2216
build-model-states-explored 695683 2229
build-model-states-explored 697929 2246
build-model-states-explored 700157 2228
build-model-states-explored 702387 2230
build-model-states-explored 704609 2222
build-model-states-explored 706844 2235
build-model-states-explored 709070 2226
build-model-states-explored 711290 2220
build-model-states-explored 713524 2234
build-model-states-explored 715757 2233
build-model-states-explored 717991 2234
build-model-states-explored 720234 2243
build-model-states-explored 722473 2239
build-model-states-explored 724706 2233
build-model-states-explored 726897 2191
build-model-states-explored 729141 2244
build-model-states-explored 731390 2249
build-model-states-explored 733623 2233
build-model-states-explored 735837 2214
build-model-states-explored 738077 2240
build-model-states-explored 740322 2245
build-model-states-explored 742561 2239
build-model-states-explored 744798 2237
build-model-states-explored 747040 2242
build-model-states-explored 749288 2248
build-model-states-explored 751534 2246
build-model-states-explored 753775 2241
build-model-states-explored 756013 2238
build-model-states-explored 758258 2245
build-model-states-explored 760502 2244
build-model-done 761962 346
iterating
iterating-progress-unbounded 80 0.020666153044963796 1
iterating-progress-unbounded 169 0.009839268231459575 2
iterating-progress-unbounded 259 1.4577722201585891E-4 3
iterating-done 323 3
model-checking-done 357
command-check-result-is 142.2114699637351 time_max
Model:	csma v.1 (MDP)
Parameter(s)	N = 4, K = 2
Property:	time_max (exp-reward)
Walltime:	358.29974699020386s
Return code:	0
Relative Error:	4.916131684468711e-06